* add php7 package

Otherwise there's no /usr/bin/php7 and nothing works

* Improve development workflow in Dockerfile

We should leverage docker caching so builds take less time.