DOC: remove $ from shell commands

they are obscure for non expert users and tend to be copied and pasted
verbatim, fixes #312