Mantis Plugin adding a field in the filter to filter by a given list of bug IDs