added basic suport for embedding (html5) videos
Add several alternative formats to video for better browser compatibility

All .webm, .ogv and .mp4 files with the same filename are automatically
chosen as alternative sources when only one of them is mentioned in the
media syntax.
added poster attribute to video if jpg or png with same file name exists
improved code for videos (restrict to 3 mimetypes, removed codec info from type attribute)
added support for html5 audio

Similar to videos, all .ogg, .mp3 and .wav files with the same filename are automatically chosen as alternative sources when only one of them is mentioned in the media syntax.
fixed typo
refactored audio/video code, removed wrong link around audio
added spacing below video and audio elements

Note: The spacing will now show as too much as long as the paragraph bug
is not fixed
Merge remote-tracking branch 'origin/master' into video-audio
Merge remote-tracking branch 'origin/master' into video-audio

Conflicts:
	inc/parser/xhtml.php
localize jQuery UI date picker FS#2912
do not keep zero size files
renamed conflicting JavaScript functions FS#2915
FS#2901: Fix lessphp for PHP 5.2.0
translation update
Merge remote-tracking branch 'origin/master' into video-audio
translation update
Merge pull request #518 from dokuwiki-translate/lang_update_41

Translation update (tr)
Update action.php

fix bug that only allows admins any AJAX calls
Merge pull request #519 from jgpcx/patch-1

Update action.php