HomeSoftware Heritage

Merge pull request #635 from voxpupuli/stdlib