Change the avx_matrix_multiply_library.c to use an opensal based interface and types. Removed the previous todo comments about the generated assembler not storing intermediate results in registers - which turned out that the compile script wasn't enabling optimisation.