Enable the verify step on Travis
Fix style issues, add documentation
Merge branch 'master' into search-1.3.x