Contains jenkins CI configuration scripts.