Add python script for checking the number of issues in a repo

This search can use filters, so can be used to find the
number of appropriately labelled issues easily