Add a test that demonstrates a problem with IPFragmenter.

Mihai Dobrescu and Katerina Argyraki found this bug but didn't
report it.
Fix that IPFragmenter problem.
Add another similar test for IPFragmenter.

This time for short (invalid) options.
Fix that bug.