fix Y2K14 problem
add tearDownCluster and automatic port-leak check
improve envdef.py example