NEW: respawn check for inactivity
ignore pydev proj
Merge branch 'master' into aiLab

Conflicts:
	PuPy/webots.py