Sync with Nov 6, 2014 code

- Better integration with coveralls
- Documentation improvements