Manage AVAILABLE_THEMES with Mirantis theme file

Change-Id: Ib716862fa7163191d41b16bbacca9068be91b7ed
1 file changed