3.1.0

version 3.1.0

• completely switched to Lua 5.3
• disabled annoying menubar on F10
• added new options: scrollOnKeystroke, scrollOnOutput
• refactored several deprecated GTK functions
• fixed several bugs
• replaced appdata with modern metainfo