improves logging a little bit
simplify agda panel visibility policy
rename event handlers
just kidding :p
restart/reload agda
editing output panel
make panel editing a sublime command