[Frontend-GNOME] Hide "Open Log" tool button for remote engines
[Frontend-GNOME] Make "Open Log" tool button insensitive if there is no log file
[Engine] Be more relaxed when loading types with issues
Merge branch 'stable'