Add some more symlinks to fix anomalies
Update configure to make coq correctly
Only build the bundled coq with travis