Added STL files

Added STL files (converted from IGS files) that can be used with 3D
printers for production.