Bump Soletta version to 0.0.1.beta13, with a few spec fixes.

- New nodes were added -- http-client/request, http-client/get-json,
  http-client/create-url, json/create-array-path,
  json/create-object-path, power-supply/get-list,
  power-supply/get-capacity, power-supply/get-info, mqtt/client,
  update/check, update/fetch, update/install.
- HTTP module now supports more HTTP methods
- HTTP server node was removed from the package on Fedora 23, since it
  demands a much newer version of libmicrohttpd than Fedora provides
  (and will ever provide at least on Fedora 23, since systemd also
  depends on it and newer versions change the soname). A new OAuth node
  is also present in the code, but will only see the light of the day on
  Fedora 24.
- Board description files are not centered on the board_detect.json file
  anymore. Instead, all files in DATADIR/soletta/boards will be scanned
  for that.
- A new packet types was added -- HTTP response.
- The float/int option types were changed -- we now have float/int for
  single numbers of those types and float_spec/int_spec for ranges of
  those types.
- Minor bugfixes of the following modules got in: HTTP, flow, int
  node, build system, memmap-storage, OIC, socket abstraction, random
  numbers engine, CoAP, json node, platform, general use buffer,
  message digest, FBP generator, RIOT I/O, timer node.
- The file sol-pin-mux.h is now installed, as it should be.
- Board pins can now be addressed by a string label, if backed-up by
  their pin-mux modules.
- Thread-safety was added to the RIOT build. Worker threads were
  added to it too. Finally, a crypto backend was added to that system
  too.
- The form family of nodes got a handful of other nodes included:
  form/int, form/int-custom, form/string.
- The linux-micro module got gdb-server support, to be used to debug
  Soletta when running as PID1. It also got two new modules: kmod and
  automount.
- The persistence module was changed to an asynchronous implementation.
- OIC client nodes got a new SCAN port, meant to request scanning of
  all servers matching the client interface. A new DEVICE_ID output
  port was also added, that will dispatch the found IDs in that
  scanning request.
- The dummy platform implementation was removed.
- The platform modules got a new mount points manipulation API, as
  well as a uevent listening one (for Linux).
- All of our public API with ambiguous int sizes were made explicity
  with regards to size (e.g. int32_t).
- An API exposing power supply properties was added to Soletta.
- An API dealing with certificates was added to Soletta.
- MQTT in Soletta got TLS connections support.
- JavaScript code on FBP files now recognize all Soletta package
  types.
- A new root module was added to Soletta: update. It controls how
  Soletta apps will be updated.

Signed-off-by: Gustavo Lima Chaves <[email protected]>