syncing
get concepts and assertions working for AAI paper
greatly simplify backend code
compress code base even further
remove buggy normalization in getting similar assertions
removed dependence on divisi

changed to completely using scipy's sparse matrix capabilities
created scripts to convert divisi's matrices into scipy's format
created several small scale tests
alar's remains unchanged, but uses new backend