Version 1.2

Version 1.2 is now available. It implements user constants and user conversions. Also, I finally fixed the problem of big binary numbers not being visible completely. When switching to 32bit binary mode, the stack display now uses a smaller font. The release also contains some bug fixes and some minor cosmetic changes.