rename portal-tools to scala-tools