feat(revme): add prague spec

[rakita]

No description provided.

[github-actions]

Valgrind Results:

==3758== Cachegrind, a cache and branch-prediction profiler
==3758== Copyright (C) 2002-2017, and GNU GPL'd, by Nicholas Nethercote et al.
==3758== Using Valgrind-3.18.1 and LibVEX; rerun with -h for copyright info
==3758== Command: target/release/snailtracer
==3758== 
--3758-- warning: L3 cache found, using its data for the LL simulation.
Running snailtracer example!
elapsed: 1.830561958s
==3758== 
==3758== I   refs:      430,648,457
==3758== I1  misses:          3,377
==3758== LLi misses:          2,813
==3758== I1  miss rate:        0.00%
==3758== LLi miss rate:        0.00%
==3758== 
==3758== D   refs:      202,359,443  (131,535,026 rd   + 70,824,417 wr)
==3758== D1  misses:        341,482  (    201,690 rd   +    139,792 wr)
==3758== LLd misses:        137,822  (      4,330 rd   +    133,492 wr)
==3758== D1  miss rate:         0.2% (        0.2%     +        0.2%  )
==3758== LLd miss rate:         0.1% (        0.0%     +        0.2%  )
==3758== 
==3758== LL refs:           344,859  (    205,067 rd   +    139,792 wr)
==3758== LL misses:         140,635  (      7,143 rd   +    133,492 wr)
==3758== LL miss rate:          0.0% (        0.0%     +        0.2%  )