Improved permalink/portal link

Now shows a dialog from which you can:
* share the permalink using the standard android share feature
* copy the link to the clipboard
* open the intel map link with an installed browser
* show the map with an installed map application (that supports geo: URIs)

code/portal_detail_display.js

@@ -52,7 +52,6 @@ window.renderPortalDetails = function(guid) {
   var poslinks = 'window.showPortalPosLinks('+lat+','+lng+',\''+escapeJavascriptString(d.portalV2.descriptiveText.TITLE)+'\')';
   var portalDetailObj = window.getPortalDescriptionFromDetailsExtended(d);
 
-
   var portalDetailedDescription = '';
 
   if(portalDetailObj) {
@@ -101,8 +100,12 @@ window.renderPortalDetails = function(guid) {
       + randDetails
       + resoDetails
       + '<div class="linkdetails">'
-      + '<aside><a href="'+perma+'" onclick="return androidCopy(this.href)" title="Create a URL link to this portal" >Portal link</a></aside>'
-      + '<aside><a onclick="'+poslinks+'" title="Link to alternative maps (Google, etc)">Map links</a></aside>'
+      + (
+        typeof android !== 'undefined' && android && android.intentPosLink // Android handles both links via a dialog
+        ? '<aside><a onclick="'+poslinks+'" title="Create a URL link to this portal" >Portal link</a></aside>'
+        : '<aside><a href="'+perma+'" onclick="return androidCopy(this.href)" title="Create a URL link to this portal" >Portal link</a></aside>'
+        + '<aside><a onclick="'+poslinks+'" title="Link to alternative maps (Google, etc)">Map links</a></aside>'
+        )
       + '<aside><a onclick="window.reportPortalIssue()" title="Report issues with this portal to Niantic/Google">Report issue</a></aside>'
       + '</div>'
     );