Some basic package I use.
Adjust isabelle download url (probably also should update isabelle)