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

http://www.youtube.com/watch?v=iRZ2Sh5-XuM