STL exporter

Sorry, I think I made a mistake. There are a lot of commits in this request, so please close it. Maybe I have forgot to add the dev branch for target, or something...

Otherwise, I have added an STL exporter which can export a whole scene, or the given meshes to ascii STL file format.