Pass arguments to coqtop process and ignore Ctrl-C/SIGINT

- Arguments passed to :CoqLaunch are transmitted to process.
- Filename completion is used for those arguments.
- Ctrl-C is ignored to prevent killing coqtop from console use.

http://www.youtube.com/watch?v=iRZ2Sh5-XuM