Make Makefile safe for parallel compilation.
Merge pull request #39 from ppd1990/makefile-threaded

Make Makefile safe for parallel compilation.
gdb: cleanup

Formatting, nothing functional.

Signed-off-by: Michel Pollet <buserror@gmail.com>
timers: New, faster implementation

Bullied by bsekisser into making this one ;-)

Signed-off-by: Michel Pollet <buserror@gmail.com>
simduino: Small fix

Not sure how this got commited, it was not compiling.
timers: Real fix

There were a couple of logic error in the previous commit, fixed,
hopefully.