In mysqlProcAndFuncBodies.sql, added routines wasCertified(), computeEnrollmentCoursera(), computeEnrollmentNovoEd(), and enrollment().