Adding Pymol-script-repo submodule
Switching from nullglob to failglob
enable synergyc_secure logging
Merge branch 'master' into isabelle

Conflicts:
	gitconfig
Using autojump script rather than directly including functions
Merge branch 'master' into isabelle