schemas: Add 'enable-hot-corners' setting

Whether people love or hate gnome-shell's hot corner depends to large extents on hardware sensitivity and habits, which is hard to get right universally. So bite the bullet and add an option to enable or disable hot corners ...

See gnome-shell!45 (merged) and gnome-control-center#558 (closed) for its intended use in gnome-shell/control-center