Puts both x86 and x86_64 in Vagrantfile
Factorizes gettime() in database.c
Stores syscall info inside struct Process

This allows us to access parameters when leaving syscall.

Unfortunately we still need to get the pathname from the tracee's memory
when entering the syscall, since the process's image will have been
replaced when leaving execve.