added useful script for pushing and pulling files to and from various servers