Transmit arbitrary arguments when launching coq process

Arguments passed to :CoqLaunch are transmitted to coqtop.