Replace all verbatim tags with code tags

Previously I was distinguishing between verbatim (for e.g. file names)
and code (for actual code), but Github doesn't mark up the varbatim
tags, so I'm switching everything to code tags.