Replace dollar placeholder

If we ever want to scan something like jQuery, we might not want `$` to have a meaning in ScanJS. I replaced it with `§`, mainly because they look so similar and are next to each other on my keyboard.
(I guess I could have picked something less common, like `µ` ;))

Are you OK with this, @pauljt?