redesign of db tool
documenting
db-core has been renamed to db-tool
javadoc changes
rename package 'dbplugin' to 'dbtool'
docummenting
documentation