Merged the ProcSwitch branch into the merger branch (which was an exact copy of master).
Set up user test procs, fixed formatting, added disable_irq in timer
Improved KCD (hopefully)
- Made the array of registered commands global (because of what comes next)
- Made a function that, when given a string that may be a command line, returns the id of the process registered with that command, or RTX_ERR if there is no process registered with the command
- Also took out the unnecessary __disable_irq() lines from timer.c
Got UART IRQ handling basically working
Fixed bug in get_command_proc_id() and wall clock now registers the proper commands.
Added message type for when the KCD sends a command and checks for if the sender_id pointer is null in k_receive_message()
Fixed bug in configure_old_pcb() and removed unnecessary i-proc stuff from process_switch()
Added a new line to the end of wall clock's output
Changed some user proc stuff, fixed set_priority
Hacky user procs
Added memory block check in UART_IPROC (fixed during demo)