v0.1.3

Store listing only. No functional change.

The extension name now states what it does, so it can be
found by people searching for a header editor rather than
only by people who already know the name.

manifest.json: name, version.