[ping] resurrecting; checkpoint
[lwt] remove dead comment
[ping] reorg
[travis] 3.12.1 ok for packages, but not mirage; remove from test matrix