Fixed memory settings.

Added a script to prevent launching Jenkins
if no github key is available.