Travis CI deployment: documentation update for build 180

deployment script via Travis CI committed Mar 3, 2020

Travis CI deployment: documentation update for build 116

deployment script via Travis CI committed Feb 25, 2020