First stab at supporting non-standard coqs
Make a number of improvements

Fix a missing topname, allow customization of topname, allow
customization of coqc and coqtop.