Rejig develop.sh to launch chrome and gvim in better places
Add code highlighting from the python 'pygments' tools