do not require a sequence input

The speck tool should be runnable without specifying a sequence. This PR makes `-seqfile` and friends optional.