Change ide/platform/pom.xml to allow command-line skipping of the
git-commit-id plugin and update the version in use to 2.1.8
Update travis config to skip git-commit-id calculation and alter the
`script` command to be a yaml list
Reduce the amount of javadoc noise
Change travis-ci config to (attempt to) quietly download all of the
maven plugin dependencies before 'mvn install' is executed to reduce the
size of the build log.
Merge branch 'origin/development'