git push vs git push origin, hit the wrong repo. Sorry.

Revert "First, incomplete and propably wrong, try to get travis and phpunit to play nice"

This reverts commit 768e44ced932ac10040ea5bbbd54dba25bb05c81.