Also ignore taverna-usecase-activity
Source repos/ instead of */pom.xml

thus honoring an updated repos.ignored
pom.xml only depend on repos
parallell git pull
Change default
clone optionally
Merge branch 'master' of github.com:taverna/taverna-build