Fixed dialyzer errors.

Started with fixing the type spefications.
Added type specs for datastore

Only for the exported functions.
Added type specs for exported functions of adprep
More type specs

Fixed also the test cases due to changes in type signatures.
Merge branch 'amadeo_setup' of https://github.com/SyncFree/adpreplic into amadeo_setup