Removed the old scala-tools plugin repository which is no longer required.