Separate Inserter project

There is now a separate project for the `CmdLineInserter`, and a place to put other similar tools: `tools`.

Single change to the inserter: the MongoDB host is now a URI of the form `mongodb://host:port,host:port`.

Fixes #222