Customizable filename for downloaded files

This add an option in settings to change the pattern of the downloaded file's filename.
This is basic, but I didn't wanted to add more features until this gets accepted (adding duration and quality as new elements, giving an example in options page, CSS, translatable default elements, better variable names maybe).
Solves issue https://github.com/chrisrobins/YouTubeHTML5/issues/30