Outputname isn't restricted to a.out anymore
Added option to choose personal filename
Added doc for new option