Synch with HEAD version. IMPORTANT: This fixes a bug where you could not override theme_status_messages()