Merge pull request #375 from rcordovano/develop-rc1

Ensure uniqueness of hash set names, single import of hash databases, misc bug fixes
Fixed bug introduced in recently improved version of HashDbManager.addHashDatabase()