use psutil for cpu count

http://stackoverflow.com/questions/13544826/python-cpu-count-works-on-one-windows-server-but-not-on-another
sql: add NUMERIC type mapping