Include labels in filtering
- Improved filter code using proper compound predicates
- Removed repoName optimisation from PullRequest
- Display repos, filter over repo names & labels, now on by default
- Small graphic tweaks
- Fixed iOS build oversight