Update AdminMLProposals.scala
Implements test-crawling button.
Fix sbt-plugin version.
Fix .gitignore