Add admin column to user table

Actually we usually don't check whitespace in this file since it's autogenerated. Fixing this whitespace will just mean that it'll pop up again later.