Add leader mapping to toggle line numbers

Woo, easier code copying!