Add ALAP/just-in-time/deadlines

Extend LSAT with support to model and analyze actions and activities that should execute as-late-as-possible / just-in-time, or execute later to meet a deadline with respect to later a action/activity. The extensions should fit the underlying max-plus semantics. This extension requires both fundamental research and engineering effort.