Drop .awk extension for solutions

Some problems may require some extra input from the shell, so I'm going with a
neutral naming scheme to give some flexibility.