move options.ts to src
nicer dat.gui styling
make settings the default tab
persistent options
adds support for option ranges, lists, choices
removes disassemble option
move global.ts and utilities.ts to src/
adds tooltips on dat.gui options
use helpers from utilities
removes c4 options from settings tab
fixes script imports
option clean-up, converted settings to ts
fixes build scripts

options.ts was moved from src/avm2/ to src/
fixes height gap due to removed buttons
fixes traceExecution choices
persist debug panel selection, moved ui related stuff out of inspectorSettings.js
makes lint happy
Merge remote-tracking branch 'origin/options' into master

Conflicts:
	examples/inspector/js/inspectorSettings.js
	utils/builder/templates/scripts.js
Revert #1205
Merge pull request #1224 from yurydelendik/revert1205

Revert #1205