Allow customization of purs ide server command#142

pbrant wants to merge 1 commit intoFrigoEU:masterFrigoEU/psc-ide-vim:masterfrom

pbrant:ide-server-globalpbrant/psc-ide-vim:ide-server-globalCopy head branch name to clipboard