Change default database name

It's a fair bet that more people are going to name their database
"statedecoded" than "statelaws," especially because the word "laws" has
different technical meanings in different places. It's best to begin
with a more viable default.