Update dist.ini for new PPPort
Improved headings in documentation
Reuse perl's reentrant API
Skip setlocale on android
v0.62

          Reuse perl's reentrant API
          Skip setlocale on android