Integrated MongoDB further, fixing bugs that impacted the web server
(mainly switching to non-integer ids).