bug fix #17: New option added -d DBNAME / --dbname=DBNAME + cosmetics fixes