Issuing badges for new instructors
Adding links to new instructors with badges
Merge branch 'add-paths-command-to-badge-creation-script' of github.com:gvwilson/website into add-paths-command-to-badge-creation-script
Changing the way the possibly-failing import is handled.