Fix innocuous issues with extension tagging (#516)

- The `end` statement for `scattered enum extension` misspelled `extension`.
- `end extensionEnabled` was inadvertently dropped, and now been restored.

model/riscv_insts_end.sail

@@ -27,7 +27,8 @@ mapping clause assembly = C_ILLEGAL(s) <-> "c.illegal" ^ spc() ^ hex_bits_16(s)
 /* ****************************************************************** */
 
 /* End definitions */
-end extensions
+end extension
+end extensionEnabled
 end ast
 end execute
 end assembly