travis: submit coverage data to codecov.io

Please let me tune this a bit before it's merged.