auto-deploy: Add Praxis100 platform, remove drupal7-basic