Switch branch to IMRproduction

IMRproduction depends on IMRproduction branch of stratosphere-testing
therefor stratosphere-testing has to be checked out and compiled
locally as well.
Merge branch 'master' of github.com:TU-Berlin/dopa-vm