updated ace lib, added new themes to the list
fixed naming of dark themes and moved katzenmilch to light themes