use h264 high profile for .mp4

pandora/archive/extract.py

@@ -232,9 +232,8 @@ def stream(video, target, profile, info, audio_track=0, flags={}):
             video_settings += [
                 '-c:v', 'libx264',
                 '-preset:v', 'medium',
-                '-profile:v', 'baseline',
-                # does not work with avconv in Ubuntu 14.04 yet
-                # '-level', '3.0',
+                '-profile:v', 'high',
+                '-level', '4.0',
             ]
         video_settings += ['-map', '0:%s,0:0' % info['video'][0]['id']]
         audio_only = False

pandora/config.pandora.jsonc

@@ -1241,8 +1241,10 @@ examples (config.SITENAME.jsonc) that are part of this pan.do/ra distribution.
     "userLevels": ["guest", "member", "staff", "admin"],
     /*
     "video" contains the video settings.
-        "formats": Supported video formats. Should be ["webm", "mp4"], or
-            ["webm"] in case iDevices are not part of the audience
+        "formats": Supported video formats.
+            Should be ["webm", "mp4"] to support WebM and MP4,
+                      ["webm"] if only WebM is used or
+                      ["mp4"] for MP4 only.
         "previewRatio": Aspect ratio used in the info panel in the bottom left
             corner of the screen
         "resolutions": List of video resolutions. Supported values are 96, 144,