A pull request to master to bring in adsgut

A few of the regular files are touched. The biggest change is in the export menu and supporting stuff in records_list.js, and then giovannis profile page. There is a new error type in errors.py and some changes to app.py to bring adsgut in.