When stdin is /dev/null, the default answer of 'OpamState.confirm' is 'no'.

Close #1407
Merge pull request #1409 from hnrgrgr/fix_end_of_file

When stdin is /dev/null, the default answer of 'OpamState.confirm' is 'no'
Closes #1407