Hog Bay Software Piggy movie

For extension authors: new key handlers, editor ids, Back-step control and viewport decorations, and a round of fixes for crashes when an extension is unloaded or reloaded (API 0.77.0).