Peppermint Linux was once a minimalist distribution for out-of-date hardware, but has grown into something much better.