added lib/hostlist.py