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