lib: nicer robot names

The first letter is capitalized, extension (like .exe) is removed.