Remote development of Python scripts on Raspberry Pi with Eclipse