Upgrade to Mesos 0.20

PR contains:

* Upgrading Mesos to version 0.20
* Building Marathon HEAD from scratch -- temporary solution until version 0.7 is released
* Upgrading Docker to version +1.0 -- needed for Mesos containerization
* Updating the mesos-slave options so it will still work