Added a class for online variance and mean estimation to sheet 1 task 8.
Added proofs to sheet 2 task 3 and 5.