Replace `Lib.ListExtras.last_error` with `stdpp.list.last` in module `ListExtras`

[traiansf]

Refactor the Lib.ListExtras module to define last_error in terms of last and change the existing lemmas about last_error to either be (re)definitions of existing lemmas about last or by proving them using existing results about last