Rockbox 4.0 released!

The list of changes is too extensive to summarize here.