Migrated to Scala 2.11 and teh corresponding version of Scala IDE.
publish-scaladocs execution is unnecessary: the plugin is invoked if
merely mentioned in <reporting/> section.