Update skeleton code

Update formatting of source code and tests. Fix typos / inconsistencies
in `README.md`.

Signed-off-by: Razvan Deaconescu <razvan.deaconescu@upb.ro>