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
removed empty language files

our translation interface used to submit empty files for a while but no
longer does, so these can go
add unit test to check language files for validity

this should help with applying pull requests that do come not from the
translation interface as it makes sure the files will be at least
syntactically correct.
translation update
translation update
Merge pull request #514 from dokuwiki-translate/lang_update_39

Translation update (sk)