Handle multiple source files gracefully

by prompting the user for which one he wants to open