Fix incorrect documentation of map-has-key

`map-has-key` was previously documented as taking a single parameter, `$key`. Since this is obviously not the case, I updated the documentation to show `map-has-key` taking two parameters, `$map` and `$key`.
Merge pull request #1204 from penman/stable

Fix incorrect documentation of map-has-key