Added python script which runs TXL to shell