Add support for \url

[Delivers #77386622]
[#77386622]

* 77386622-url-cmd:
  Add support for \url
Allow hrefs in inputted files

[Delivers #77585246]
[#77585246]

* 77585246-href-input:
  Allow hrefs in inputted files
Add support for Pygments lexers of the form 'html+php'
Bump version number
Merge branch 'master' into stable