fix compilation on 64-bit Linux systems
add actual 64-bit types, use for time
use dedicated 64-bit type for time variables
increase div, sqr precision for ARM NEON, update comments
fix div in ARM to use signed integers, add comments
add future extensions to rtarch