Tomcat to use non-blocking random generator moved to setenv.sh

Previously it was added to the end of `catalina.sh` but it appeared
that it works only if put somewhere in the beginning. Anyway, setenv.sh
is even a better place for it since it's really a file for env variables.