Better Database Connection Parameter Management

[kraftp]

• Remove database connection parameters from dbos-config.yaml by default (though they can still be there)
• Instead, read and store database connection parameters in a hidden local file, .dbos/db_connection, which is not committed to version control.
• If no connection parameters are given, use local connection defaults.
• Clearly print where database connection parameters are being read from at DBOS startup.