title: Rename table name with Doctrine migrations
body: <p>I've searched pretty much everywhere but I wasn't able to find anything. </p>
  
  <p>Is there a command or a procedure to change the name of a table (so inside doctrine annotation) without loosing data?</p>
  
  <p>Basically, something that will produce something like</p>
  
  <pre><code>RENAME TABLE old_table TO new_table;
  </code></pre>
  
  <p>or</p>
  
  <pre><code>ALTER TABLE old_table RENAME new_table;
  </code></pre>
  
  <p>MySQL commands taken from <a href="https://dev.mysql.com/doc/refman/5.6/en/rename-table.html" rel="nofollow noreferrer">here</a></p>
  
  <p>Should I write manually the migration file with <code>doctrine:migrations:generate</code>?</p>