added media type attribute to the generated <source> tags

as per MDN, adding the type attribute can greatly enhance the speed how browsers determine which source to use and they won't download unsupported content types, thus earn on bandwidth usage

our solution is rather simple, we just use the file extension to find out the media type