Split source, docs, and built STL files

[rwb27]

If I move to using make for building the project (#22), that possibly implies that I should reorganise the repo to contain only source files (possibly including documentation) and then put the build products somewhere else. In many ways it would be nice to split the docs out as well, because the many photographs make the source code rather large...

That would result in 3 repositories, one for the source, one for the docs, and one for the built STL files. The latter needn't be a repo, but Github does a nice job of rendering them and letting people download them, so I'm inclined to keep it up here. Better yet, I think git deduplicates files quite efficiently so I can have one folder per microscope configuration, and not worry about storing multiple copies of stuff :)

[rwb27]

Once we get the build server running, this could be done fairly easily using github. An STL-only repo would get big if it's rebuilt regularly, but a trick like not storing old versions locally might help (storage is limited on my build server). Hopefully GitHub won't think that's a naughty thing to do...

It would be nice to understand if OpenSCAD can be relied upon to produce binary-identical files if nothing has changed - I'm not 100% sure it does...

[rwb27]

The repository is moving to GitLab, and this issue has been migrated. I'll close all the issues here in due course, but am leaving notices on all the currently-open ones. If you head over to the other repository, this issue will be updated there.

[rwb27]

The new repository fixes this:

• STL files will (very soon) be built automatically with CI on Gitlab, thanks to @kasbah
• Git LFS means you don't download a complete history of the images any more
• The text of the docs stays in the repository; I think it is a good idea to make sure the two are version-controlled together.