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).
Solves issue https://github.com/chrisrobins/YouTubeHTML5/issues/30