Add support for server push options parameters#2148

pablonardone wants to merge 1 commit intolibgit2:masterlibgit2/libgit2sharp:masterfrom

pablonardone:push_optionspablonardone/libgit2sharp:push_optionsCopy head branch name to clipboard