Revert "[CI] Don’t install ragel on circleci jobs" This reverts commit 9a9da110a54ea03a0bdd1e64fa9ff7a2b98ba53c.