Rewrite main.cpp

 * now uses optionparser, though benefits are questionable
 * now accepts more than one input asteroid (object file). this means that pluto is no longer simply a object file -> binary converter
 * does not compute a default filename, as it was somewhat silly. not to mention that the old implementation computed a filename with the extension of .o, conflicting with the object files