Change the make target so that it builds coqide as well
Change instructions to include the coqide dependencies
Install coqide dependencies as well
Do not look in PATH for coq when COQBIN is set