Documentation updates.
- rimuc: catch 'permission denied' errors on source file.
- Documentation updates.
Bump version number.