red-brick: Remove unnecessary whitespace from JSON dumps of scripts
red-brick: Sort process CPU and memory usage based on the numeric value

Instead of the textual representation, which had resulted in wrong sort
orders.

Also reduce the size of the JSON dump by shorting member names.
red-brick: Check that script result is not None before using it
red-brick: Ignore parsing error due to incomplete or malformed data from the overview script
red-brick: Make buttons full width on settings tab
red-brick: Shorten version label name
red-brick/pw: Don't set description twice on upload
red-brick: Replace special JavaScript hacks with generalized logic
red-brick/pw: Replace JavaScript version with flavor
red-brick/pi: Hide unused groups for JavaScript client-side programs
red-brick: Rename last instance of javascript.version
red-brick: Refresh logs list after deletion
red-brick: Preserve configured state_changed_callback across update_last_spawned_process calls
red-brick: Fake state_change_callback is process_spawned_callback receives non-running process

In this case the orignal state_change_callback was missed.
red-brick: Finish editing options of JavaScript page
red-brick: Refactor common code on settings tab into function
red-brick: Make network_refresh_tasks_remaining local
red-brick: Fix type
red-brick: Add abort_async_read to REDFile wrapper
red-brick: Adding TODO note