PHP script that converts ODT to HTML