Add Algolia search on header bar#469

heathermiller merged 3 commits intoscala:masterscala/docs.scala-lang:masterfrom

algolia:masteralgolia/scala.github.com:masterCopy head branch name to clipboard