Toevoegen van de sources die ik vorige keer vergeten was, en nog wat
triviale functies geimplementeerd, zoals echo streams van windows.
Ik heb ook de andere glk_put_ functies geschreven; de functie met de echte
code is nu glk_put_string_stream(), en de anderen formatteren hun input en
geven die door aan glk_put_string_stream().