lint panics (allow)

We may want to know if some code is panic-free – so while we cannot be sure if a function from another crate that this crate calls panics, we can at least check for panics locally, which means checking for calls of divergent functions (which the type system should give us a hint). We also should probably ignore `unreachable!()` calls.
