sphinx themes to login.openkim.org, change verify scripts, rsync locals
fixing docs banner, mongo host