chore: Rename PRAGUE_EOF to OSAKA

[rakita]

Quick search and replace

[github-actions]

Valgrind Results:

==4447== Cachegrind, a cache and branch-prediction profiler
==4447== Copyright (C) 2002-2017, and GNU GPL'd, by Nicholas Nethercote et al.
==4447== Using Valgrind-3.18.1 and LibVEX; rerun with -h for copyright info
==4447== Command: target/release/revme bench snailtracer
==4447== 
--4447-- warning: L3 cache found, using its data for the LL simulation.
Running snailtracer example!
elapsed: 1.921810692s
==4447== 
==4447== I   refs:      462,301,856
==4447== I1  misses:         36,651
==4447== LLi misses:          4,062
==4447== I1  miss rate:        0.01%
==4447== LLi miss rate:        0.00%
==4447== 
==4447== D   refs:      213,297,747  (135,373,646 rd   + 77,924,101 wr)
==4447== D1  misses:        340,893  (    201,234 rd   +    139,659 wr)
==4447== LLd misses:        136,164  (      3,914 rd   +    132,250 wr)
==4447== D1  miss rate:         0.2% (        0.1%     +        0.2%  )
==4447== LLd miss rate:         0.1% (        0.0%     +        0.2%  )
==4447== 
==4447== LL refs:           377,544  (    237,885 rd   +    139,659 wr)
==4447== LL misses:         140,226  (      7,976 rd   +    132,250 wr)
==4447== LL miss rate:          0.0% (        0.0%     +        0.2%  )