brief manual for python virtualenv