[spektrum] fix some pin usage
[ins] fix low_pass_filter dox and configurable hff cutoff freq

closes #738
[filters] explicitly use float constants
[gps] GpsIsLost as static inline
[actuators] motor_mixing: trim defaults to zero
[airframes] remove redundant example
[rotorcraft] error on negative gains
[conf] enable mag for quadshot and add it to tests/examples
[rotorcraft] guidance_v: set some defaults that nobody changes anyway
[ins] hf_float dox and include cleanup
[sys_time] fix get_sys_time_float function

fractional part was wrong
[logalizer] export lat/lon with 9 decimal places
[modules] fix gps_ubx_ucenter for ublox7

Thanks Alonso.
[hmc58xx] add a delay before configuring the HMC58XX mag
[adc][stm32] fix accumulation freq when using ADC_WATCHDOG
[stm32] spektrum: remove unneeded gpio_enable_clock

that is already done in gpio_setup_output
add GEO_MAG message to send magnetic field
[stm32] fix sys_time_usleep

only use systick counter
[stm32] timer_get_frequency helper function
[stm32] adc timer frequency

The ADC was running at different frequencies, depending on which timer was used
(e.g. TIM1 is on high speed APB2, TIM2 on low speed APB1).

And seems it was running a LOT slower on F4.
TRGO is used to trigger ADC conversion, which generated upon reaching period reload value.
That was 0xFFFF on F4 and 0xFF on F1.

So it seems that before this commit we had:

F1:
----
All timers normally all run with 72MHz as we have set it up...
* with prescaler of 8: we get 72MHz/9 = 8MHz timer freq
* with period of 0xFF: ADC conversions at 8MHz / 255 = ~31kHz

F4:
----
TIM1 is on ABP2 witch means twice as fast as e.g. TIM2 on APB1:
timers run at 2xAPB frew: on high speed bus 168MHZ and on low speed with 84MHz
* with prescaler of 0x53: 168MHz/84 = 2MHz timer freq for TIM1 (1MHz for TIM2)
* with period of 0xFFFF: 2MHZ / 0xFFFF = ~30Hz (15Hz for TIM2)

That is a difference of factor 1000 between F1 and F4!!

Now it will run at same freq regarless of wich TIM is used (and same on F1/F4):
default ADC update freq: ADC_TIMER_FREQUENCY / ADC_TIMER_PERIOD = 2MHz / 1000 = 2kHz