CPPAD: Use Github HEAD.