Changed HIDE plugins API

From now, plugins can specify urls to load multiple JS scripts in strict
order
Added Ace editor themes