Improved our GUI interface so that plugins can be told about a file being opened, saved, renamed and closed.
Some work on our graphs property editor (#31).