Coveralls badge and other small updates