Fix bug in watchdropbox where files were never deleted
Creating pymol color_by script
Merge branch 'master' into isabelle