User preferences

The major work for the implementation of user preferences has been completed. That is with this new system users can specify, for example, custom pen and paper settings that are loaded when NoteLab starts.

This also allows for a graphical way to modify things such as the amount of memory NoteLab is allowed to use. This in turn can be used to improve NoteLab's performance.

As such, users will be able to take advantage of an easy to use graphical interface without having to resort to modify startup scripts.