prologue.txt: removed

Rationale:
  - is essentially a copy of license.txt
  - is referenced nowhere, not even in the build system
koka-hdoc.css: removed

Rationale:
  - not referenced anywhere (grepped for it)
  - if it is needed at a later time, recover it from VCS