Metis Documentation

Metis documentation is currently divided between API documentation (generated by Javadoc) and Tool documentation.