ddrpal: initial version of TDM-based DRAM command scheduling in UPPAAL

* model DDR banks
* schedule DDR commands using TDM per bank
* model requestors
* check timing outside of models