make ntpserver configurable, default pool.ntp.org, closes issue #11