This hotfix:
- Adds windows portability
- Fix errors due to machine accuracy in anisotropic metric intersections (leading to process failure)
- Adds compatibility with old scotch releases
- Adds jenkinsfile for pipeline builds in a Docker container (thanks to D. Sherman pull request)
