cleanup spring mvc docs and fix #51
add source highlighting