commit (sans importance) pour pouvoir faire un pull
Merge branch 'master' of https://github.com/3kn0x/nachos

Conflicts:
	code/userprog/exception.cc
Merge branch 'master' of https://github.com/3kn0x/nachos
Merge branch 'master' of https://github.com/3kn0x/nachos
SynchGetString réparé (fonctionnement correct et vide le buffer); SynchGetInt très instable et ne vide pas le buffer!; SynchGetChar ne vide pas le buffer!
Ajout de synchro pour les threads et Merge branch 'master' of https://github.com/3kn0x/nachos

Conflicts:
	code/machine/synchconsole.cc