miyagi: Prompt user for number of problems

Signed-off-by: Aleksi Pitkäjärvi <aleksi.pitkajarvi@aalto.fi>