Fix "push --force"
"push --force" is documented to "[f]orce push", but instead just gets
silently ignored. This makes it impossible to push non-fast-forward
updates to a branch with "push".
This change causes "--force" to set "git push"'s corresponding option
"-f".
Signed-off-by: Tim Landscheidt <tim@tim-landscheidt.de>