These are standard GTK icons, distributed here alongside Cadabra only
in order to avoid additional dependencies when building the notebook
interface.