Adding option to hide non-Push-Contacts. This fixes #664 (partly, see below)

I did not yet have a look at the other lists where contacts are listed, but I guess this one is the most important one. If we want this, I'll do this with all the other lists, too.