refactor(library/logic/basic): rename absurd_elim to absurd, delete contrapos and trivial_not_true theorems

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
refactor(library/logic/basic): rename absurd_elim to absurd, delete contrapos and trivial_not_true theorems