Upgrade standard library
New stdlibs
Add fstar.evp for Crypto
Adding a file that actually does something when executed