Remove obsolete git files.

Signed-off-by: Angelika Tobisch <tobisch@dresearch-fe.de>