Software user manual

I’ve recently updated the documentation quite a bit, and there’s now a user manual with some screenshots, and also a version of the API documentation that you can see without having to run a microscope. The user manual is pretty basic, and I’d be very happy to extend it if anyone is motivated to write some more user-oriented text.