Add automatic, configurable message hiding

- Messages are automatically hidden after 5 seconds by default.
- The delay until a message is hidden is configurable.
- `false' and `"never"' cause a message not to be hidden at all.
- New helper script: `release' builds