New features

Adding support for:
* new externs: NaN, Infinity
* conditional expressions
* anonymous functions

Moving benchmarks to https://github.com/UCSD-PL/rs-benchmarks

IMPORTANT: all externs are added in/bloating the environment - perhaps we need to see which ones are needed.