* frontend: add option to filter by protocol type Closes #33. * frontend: use case insensitive comparisons for protocol filter