mount-setup: mount /dev/pts with mode=620,gid=5 by default and make GID overridable via configure switch