Using display instead of Gap.extensionToString.

eagletmt suggested that extensionToString is broken in GHC 7.6.* in #101.
We use 'display' as a right API.