Initial commit; descartes-specific gitignore