Misc cleanup.  Removed unneeded includes/comments, ran autoformatter, etc.
Merge branch 'code_cleanup'

Conflicts:
	src/interrupts.c
	src/user_interrupts.c
	src/user_interrupts.h