Use local verdana file if available.
make deploy: pushes master on the heroku instance.