Mainly GitHub and Jenkins improvements/additions