Mandatory `Database` option in emysql:add_pool API

It can be empty ('undefined', "" or <<"">>) anyway, but the use of MySQL
without a selected database is too limited to be practically considered
in the API.