add bing maps link to "map links" dialog

the encoded_name no longer includes the space/brackets - so these are now added in the java app - which makes more sense anyway
unknown names (shouldn't happen) are now named 'unknown' rather than not specified

mobile/src/com/cradle/iitc_mobile/IITC_JSInterface.java

@@ -23,7 +23,7 @@ public class IITC_JSInterface {
     @JavascriptInterface
     public void intentPosLink(String lat, String lng, String portal_name) {
         String uri = "geo:" + lat + "," + lng + "?q=" + lat + "," + lng
-                + portal_name;
+                + "%20(" + portal_name + ")";
         Intent intent = new Intent(android.content.Intent.ACTION_VIEW,
                 Uri.parse(uri));
         context.startActivity(intent);