- Modified the keyboard driver to map keycodes generated by punctuation
   characters to ASCII keycodes.
 - Modified the console to accept and display punctuation characters.
 - Made minor formatting changes