add more tests for swap_byte
more tests for swap_byte
add goals directories to gitignore
correct implementation + specification of __po_hi_swap_byte
add RTE verification + timeout for alt-ergo
new specification and implementation for __po_hi_swap_byte using integers
correct errors in bit shifting using integer arithmetics