add teiid server platform