This major patch implements wr-m-lock, wr-s-lock and wr-locked states,
while fixing bugs in wr-present and master state.

A fix in arch-spec/include/timer.h is needed too: do not include types.h, but
stdint.h file.

This patch simply copies softpll stuff coming from wrpc-sw/ptp-noposix.
This commit does not compile, since the present src needs to be adapted to
ppsi.

ppi->is_from_cur_par was badly checked in a if condition

No changes in src; only comments, code alignment and white spaces cleanup.
Doxygen style comments were removed, since their usage is not uniform in the
code.

This patch introduces the state machine for white rabbit.
It is intended as a flat state machine, so that the application state is
univocally determined by its ppsi->state variable. Internally, each state
function saves the Port Dataset, keeping the double level of states: portState
for general state, and wrPortState as White Rabbit FSM. This permits to be
logically coherent with the specification document (which defines an internal
WR state machine) and to have a simplified approach in the source code.