Import old library history

[strugee]

Git supports grafting history onto the beginning of a repo. We should do this for the Libraries repo, because the fact that the history is incomplete has been bugging me for months.