[travis] disable tomcat7 log buffering
Merge branch 'develop' into coveralls