debian/machinekit.install: rename .txt to .asciidoc