Merge branch 'master' of https://github.com/polymake/polybundle
Merge branch 'master' of https://github.com/polymake/polybundle
first attempt for Singular start script
error in polymake.debug script
Merge branch 'master' of https://github.com/polymake/polybundle
Merge branch 'master' of https://github.com/polymake/polybundle
Merge branch 'singular'

Conflicts:
	scripts/polymake.debug