Factor out the common parts of of the hoq* scripts

Also add hoqdep
Move hoq-config script to top-level

This way, we can copy it more easily.
Merge pull request #213 from JasonGross/factor-scripts

Factor scripts
Merge branch 'master' of git://github.com/HoTT/HoTT
Incorporate @JasonGross's suggestions