Bugfix: regression when passing on Stdin to program

Namely, the timeout doesn't work anymore!
Bugfix: contrib scripts weren't correct

Additionally, I tweaked the Docker setup, so that it would go
faster.