New commitfile command

Introduces a new command called commitfile that is capable to change single files on remote repositories, following a formal merge-request procedure. As an option, it can set auto-merge to true (in case the build succeeds).

merged

mentioned in commit 178d4b6a