Add mechanism for choosing repo and version php
Fix link to remis gpgkey.