Update to OpenTK 1.1

This adds support for OpenGL 4.4 (synced with March 2014
specifications), improves startup time, memory consumption and fixes
various issues on Linux and Windows.