Add top banner support which can be configured by admins

This can be used for site-wide notifications, e.g. for downtime.