Include tags (git push --tags) in upload-reference script
Merge branch 'master' of ssh://bitbucket.org/fenics-project/ffc
Another fix in script for uploading references: need both git push and git push --tags