compressed index
small modifications
bugfixes and optimizations in compressed indexes
some management stuff for activation and deletion
real implementation
javascript fix
default gradle properties
Merge branch 'compressedindex'

* compressedindex:
  default gradle properties
  javascript fix
  real implementation
  some management stuff for activation and deletion
  bugfixes and optimizations in compressed indexes
  small modifications
  compressed index