Document PyDev setup of virtualenv python