Merge branch 'cdi'
CDI.fs: Ressourcenmanagement

+ Ressourcen werden jetzt entladen, wenn sie nicht mehr benötigt werden.
  Hoffentlich.
stdio.h: Formatstringattribute

+ GCC-Formatstringattribut für die printf-Funktionen
p35sh: Tab Completion, Befehlszeilenzerlegung

+ Die Tab Completion fügt bei Verzeichnissen ein / und bei Dateien ein
  Leerzeichen an
! Ein paar Fixes für die Befehlszeilenzerlegung
p35sh: Tab Completion

+ Wird für den ersten String auf der Zeile getabbt, dann wird in PATH
  gesucht, falls dieser String keinen Schrägstrich enthält
VFS: Interfaceheader gelöscht

- Interfaceheader gelöscht und Interfacenamen einfach in vfs.h selbst
  aufgelistet
IRQ-Userspacehandler: Freier Parameter

+ IRQ-Handler im Userspace nehmen jetzt einen frei bestimmbaren
  void-*-Parameter (nicht getestet)
rtl8139: Spaßeshalber hinzugefügt

+ Aber natürlich noch genug undefined references.
CDI: .net begonnen, misc erweitert

+ CDI.net begonnen, ein paar generelle Sachen (für rtl8139) erweitert