Updating the documentation, adding Travis and Coveralls