8.9.0: File extensions

• Merged PR #159: Implement command line option to set file extension
  for compiled files. This makes integrating with PSR-4 autoloading an
  easy task, see https://www.php-fig.org/psr/psr-4/
  (@thekid)