OS-41 Support building with Jenkins
 Add a POST_NIGHTLY script to check mail_msg,
 and a few tweaks for Jenkins support.