KRE info page

- The KRE Info page (see screenshot below)
- The resource generator places the generated file in a different folder now. That's why you'll see a big change there.

![kreinfo](https://cloud.githubusercontent.com/assets/5921642/4447634/5115e218-480c-11e4-8ee9-4602b0d67c2f.png)

@davidfowl, @Eilon please review
Use `[NotNull]` instead.