Change UI a bit; add example selection
More styling
Update gitignore
More beautiful styling and UI work
Weak attempt at highlighting next step
Add null literal; add a status bar
Mark memory addresses on mouseover
Add 'add assertion' UI functionality