perf: Add scripts to EXTRA_DIST
widget: Do not intercept Ctrl+F1

https://bugzilla.gnome.org/show_bug.cgi?id=726438
build: Fix log domain
build: Version bump
widget: Nicer box drawing characters

Fixes problems with the hollow box drawing characters.

https://bugzilla.gnome.org/show_bug.cgi?id=709556
Version 0.35.90
Post release version bump