Bugfix: Menu animation

The animation of the background in the main menu didn't use float
interpolation and thus looked quite ugly.