Submit code coverage to codecov (#959)

Author: giordano

azure-pipelines.yml

@@ -48,6 +48,7 @@ jobs:
   - bash: |
       set -e
       $(JULIA) --check-bounds=yes --inline=yes -e 'using Pkg; Pkg.Registry.update(); Pkg.test(coverage=true)'
+      $(JULIA) -e 'using Pkg; Pkg.add("Coverage"); using Coverage; Codecov.submit(process_folder())'
     name: Test
 
   - bash: |