Interface for PubMed Provider

PubMed Provider web interface has been implemented inside the download
documents section (in the administration panel). It can download a list of
PubMed IDs given as comma-separated values and search in the PubMed database
for some PMIDs to add to the list.