Builds for proofgeneral

Latest: 4.4.1~pre170114-1.2