[firedrake] New Firedrake dependency - libspatialindex

Dear Firedrake users, the latest update adds a new dependency to Firedrake: libspatialindex. (Ubuntu package name: libspatialindex-dev; Homebrew name: spatialindex) The install script is updated accordingly, so fresh installs should just work, however, updates might fail. You may just install the package manually before updating, or you could rebuild the update script: http://firedrakeproject.org/download.html#recovering-from-a-broken-installat... Best regards, Miklós