opensolid/opensolid.bitbucket.org archive