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

https://bugzilla.gnome.org/show_bug.cgi?id=726438