Insert missing documentation for hal/cortex_common

This also adds a new function to get the current value of the systick register. The K20 hal hasn't got a stable timer yet, so the example app is using systick without interrupts. It should ultimately be fixed, but at the moment I'm just focusing on the doc comments.

Is it OK to have a function to get the current SYSTICK value? Should it be get_current instead?