Make retrieval of pull request commits simpler

Github stores all pull request commits in the base
repository, so there is no need to go through
the head repository. Also, use the URL in the 
commit to retrieve information about where the 
commit is to be found.
Drop table forks
Remove merged and user_id field from pull requests

Both are reported in pull_request_history for each pull request.