Allow filtering by difficulty level

[jdm]

Specifically, some visitors will want to only see the issues marked "Good first PR", and others will only want to see the issues not marked "Good first PR". We should support this.