added ragel manual