theming: Mark task as completed
Merge branch 'enhancement/theming'

Conflicts:
	CONTRIBUTING.md
contents: Correct content errors
contents: Correct literal internal URLs
contents: Correct application HTTP interface names
Merge branch 'maintenance'

Conflicts:
	CONTRIBUTING.md
	app/controllers/Application.java
	app/views/foss.scala.html
	app/views/index.scala.html
	app/views/pilot.scala.html
	app/views/serber.scala.html
	app/views/webinterface.scala.html
	app/views/webservices.scala.html
	conf/routes
Merge branch 'master' into next
Revert mistaken correction
Merge branch 'master' into next
Correct typo
Merge branch 'master' into next
scala: Migrate to Scala
Merge branch 'enhancement/scala' into next