Coveralls support, DocumentManager and other small updates