Git: Add 'phpenv' as a Git submodule, not used yet.
Install: Make script less ugly, not yet quite as I wish it were.
Scripts: +phpenv and +php-build.
Install: Make Git's push.default configurable.
Scripts: Whoops, trailing whitespace, #nfc.
Modules: Update Git submodules.