Update migration.html.md

Added notes regarding openrdf package name changes