Use GLContext instead of messing with raw glBindTexture()

Release SuperTux Milestone 1 v0.1.4 (stable)

LanguageMenu: upon changing language, reload fonts

Release SuperTux v0.5.1 (stable, bugfix)

This is the stable release of SuperTux v0.5.1, a bugfix release intended
to fix some of v0.5.0's issues.

Release SuperTux v0.5.0 (stable)

This is the stable release of SuperTux v0.5.0.

Release SuperTux v0.5.0-rc.5 (release candidate, unstable)

This is a potentially unstable pre-release of SuperTux v0.5.0.

Release SuperTux v0.5.0-rc.4 (release candidate, unstable)

This is a potentially unstable pre-release of SuperTux v0.5.0.

Release SuperTux v0.5.0-rc.3 (release candidate, unstable)

This is a potentially unstable pre-release of SuperTux v0.5.0.

Acked-by: Tobias Markus <tobbi.bugs@googlemail.com>

Release SuperTux v0.5.0-rc.2 (release candidate, unstable)

This is a potentially unstable pre-release of SuperTux v0.5.0.

Relase SuperTux v0.5.0-rc.1 (release candidate, unstable)

This is a potentially unstable pre-release of SuperTux v0.5.0.