[extractor/common] Extract height from res attribute of source tag for HTML5 videos...