Make binaries use extension ".elf" so that they can be ignored with .gitignore
and easily cleaned up with rm *.elf
The build script now accepts the base name, without the ".hs" extension.