Export CSV, UI changes

Now you can export CSV, the prompt for generating a table comes after
you choose the N and K values, and the prompt for exporting CSV comes
after the table is generated. Make sure to add the .csv extensions
while naming it.