Fix build on gcc 4.8

Commit def5fbbb6ff9fd077ee5683c34bfd549fc745413 added
no_instrument_functions to a bunch of "extern inline" functions which
cannot be instrumented because they are only inlined. Unfortunately,
this doesn't work in gcc 4.8 because of a gcc bug only fixed in 4.9:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=49718

So this patch undoes the fix of that patch, and insteads
tells the compiler, via a command line option, not to instrument anything
in those *mmintrin.h header. This also solves the original problem, and
works on gcc 4.8 as well.

Signed-off-by: Nadav Har'El <nyh@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Swagger Definition file: The reference to the api.json was missing

The api.json needs to be listed under the api-docs to be shown in the
swagger UI GUI.

Signed-off-by: Amnon Heiman <amnon@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Http Server: Add a stop method to the server

This adds a stop method that stop the global server, allows to stop it
from the API.

Signed-off-by: Amnon Heiman <amnon@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Http Server: Add a stop server API

This adds an API to stop the httpserver, if the httpserver is running in
the foreground it would cause the system to stop.

Signed-off-by: Amnon Heiman <amnon@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Http Server: Support wildcard when searching for filename

This adds support for wildcard search in dirctory listing.

Both * and ? are supported, the match uses regular expression, where *
replaced by .* and ? replaced by .?.

A test for the wildcard was added.

Signed-off-by: Amnon Heiman <amnon@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Change option name from nohalt to power-off-on-abort

Signed-off-by: KANATSU Minoru <icc.pot.tyew272@gmail.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>
Http Server: Setting the download mode to file when seting the target file

The upload file mechanism got broken when additional option was added to send
information to the server.  This change first set the upload mode to file when
the temp_file name is set, it also cleans the file handler that do the upload,
by setting the target file before the download is starts.

Signed-off-by: Amnon Heiman <amnon@cloudius-systems.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>