Remove patrol.py: doesn't seem to work and useless for our purposes anyway