Added requirements to requirements.txt.
Improved Madeus assembly: ability to get accurate running time
with the run function, added a run_timeout function to take advantage
of Concerto's synchronize_timeout.
Added typing information to Concerto's synchronize_timeout.
Fixed concerto_config.json in parallel and sequential tests for
local usage.