A simple tool to migrate WP blogs to Grav