Type specifications added and refined

Moved the general type specs to floppy.hrl
Added quite a few more specs to callback functions
More type specs

Added more type information for records. Renaming different state
records.
cleaning up of type specs
Merge branch 'master' into client_api

* master:
  cleaning up of type specs
  More type specs
  Type specifications added and refined
fixed build deployment errors
Added stop operation
Added  protobuf client riak_test.
Dialyzer changes
Walletapp after dialyzer