Log Message:
beaver: Update to 0.4.1. Only about 10 years late.

Changes:

- Interface rewritten using GtkUiManager
- Plugin system with API for most important plugin tasks
- Beaver tools (eg. base converter, color picker) went into 'tools' plugin
- Auto-indent
- Smart HOME and END keys
- 80-character marker