fixed bug: logout was not possible if container had been stopped in the meantime, while the browser session was still valid
add dummy 'ADD' command in order to always re-checkout repositories
removed '/bin/bash' command in start scripts, caused weird effects
added queries for dual-arm manipulation
fixed bug: immediately jump to last line in history, even while the query is still running