format CURRENT_TIMESTAMP with precision, as needed

- for timestamp(N) columns, the default should be formatted
  as CURRENT_TIMESTAMP(N) rather than simply CURRENT_TIMESTAMP
  or it will be a syntax error
add filename-to-tablename and tablename-to-filename commands

- allows converting between mysql filename encoding