[buffer/serialize] Minor renames in Ragel machines As per my previous review on: https://github.com/harfbuzz/harfbuzz/pull/2687
2020-10-09T21:06:20