Include STL file in repository

For ease of use, and to take advantage of GitHub's new STL viewer
functionality.