Better filenames

[oleks]

Having filename extensions like .mips32 and .x86_64 in KUDOS makes the 16-character limit overly restricted, so much that e.g. readwrite is too long a name for a userland program.

I see two ways of resolving this issue:

1. Allow longer filenames (and thereby, probably, longer paths).
2. Strip the extensions, since mixed target binaries on the same disk are unlikely to be useful in KUDOS.

I don't think shorter extensions are a viable solution since I prefer standard names to cryptic, perhaps misleading, abbreviations.

[athas]

Oleks notifications@github.com writes:

I don't think shorter extensions are a viable solution since I prefer
standard names to cryptic, perhaps misleading, abbreviations.

I like crypting names and abbreviations. I propose that we prefix MIPS
executable with "h" in honour of John L. Hennesy, and x86-64 executables
with "m" in honour of Gordon Moore.

\ Troels
/\ Henriksen