yforster/coqsetup

How to setup Coq quickly