Lab manipulation endpoints
In this merge request, the following is changed:
- Add an endpoint to get all labs for a course
- Add an endpoint to create a lab for a course
- Add an endpoint to update a lab
- Add an endpoint to delete a lab
- Update the REST API documentation to cover these new requests
Edited by Otto Visser