log tests/dbupload.urp

age author description
2013-09-13 Adam Chlipala Tweak Sergey's patch to work with Postgres