updated WALA to the tip of IBM WALA master
fix sbt-eclipse version
Merge branch 'iterace' of github.com:cos/workspace-iterace into iterace