Build fixes

The JBoss maven repo got moved, updated to use the new URL.
A maven build creates dist/ and build/ directories, let's ignore those in git.