Added gecode build script for Jenkins

 - Use fake_root
 - Skip downloading source file if it already exists
 - make distclean
 - Remove the pre-existing gecode deb if it exists