Merge QuesoGLC into the new branch.