Performance patch for PublicHD provider

This speeds up the BeautifulSoup usage by a factor of ~20. On slow computers, this provider can slow down processing by minutes. The <option> lines in the html output are not needed, because they are just for the dropdown menu for selecting pages.