Test with bundled and global Coq on travis