In play.java, switching background music relies on hard-coded timer TODO: Use built-in GreenfootSound class to switch between songs