Add Travis CI job 415.2 report (SUCCESSFUL)

Job log: https://travis-ci.org/per1234/arduino-ci-script/jobs/232313264

Commit: per1234/arduino-ci-script@72c8fb2

Pull from remote report repository before pushing

If multiple jobs complete around the same time
publish_report_to_repository can fail because of history conflict. This
is caused by one job pushing to the repository after the other job has
cloned the repository but before it has pushed, causing a history
conflict. To avoid this I have added a ;pull before the commit (because
this is the last chance to do a pull without the chance of a conflict)
and just in case, another pull before the push. It should be extremely
rare that a push from one job happens between the pull and push of
another job.

Issue reported at
MCUdude/MegaCore#42 (comment)

[skip ci]