Merge pull request #231 from ragerdl/master

Getting rid of xdoc html manual redirect; improving some jenkins build scripts