Merge .PHONY statements
Add pre-push hook to run tests

Make sure that we never push with failing tests from master
Force re-provisioning of the VM in make vagrant-test
Fix Emacs dummy to parse the checking expression

Regression from 2a32223