Added destroy function to Player.cpp in order to prevent memory leaks
Merge branch 'master' of github.com:GlPortal/glPortal
Added test if anti-aliasing is available