Makefile configuration is now automatically generated and more changes

Makefile configuration file is now generated automatically and contains all
string config options.

Separated tables drop from databaseinit.sql to file databaseclean.sql.

Also add clean and init target for database.
For this reason is also separated output and result from normal clean.
From now on won't be results removed on standard clean.

ARCH config variable is renamed to kernel_arch to make name more clear.

Implemented database

Database will be used for storing measured data.

Fix gen_required config source check

Integrate allconfig

allconfig is now integrated in project.
It is going to replace permute_conf for generating.
For this reason is default behaviour changed to print only changeable configurtaion options.
Previous behaviour can be used with --all switch.

Also add .gitignore and remove compiled file from repository.

Remove possibility of generating next solution in loop.

Only possibility now is generating all solutions on initialisation.
Remove solution generating phase.

Simplify parse_kconfig generated CNF formulas

Not isn't now generated using additional variable.
All head formulas for all configuration options are now printed directly as formulas. Not build using functions.

Add simple bash script to remove configs options from full configuration

Options are removed if they are found in selected folder (variable FOLDER).

Add small program for generating complete configuration

This program generates complete configuration.
Written because permute_conf is only writing out configs that are chargeable.

Add rootfs configuration for cyclictest

Makefile fix distclean target

Fix problem with swapped columns numbering

Add simple readme

Rename program permute to permute_conf

Add license

Fix problem of cleaning scripts/nbscript

Document conf.py and remove spare variable SRCARCH

Fix evaluate script

Add multiple bases support

Add base reduction for evaluate

Fix Makefile clean

Make nbscript not generated

Set root Makefile to start evaluate script

Fix NoAppliableSolution in loop and changed looping phase

Divide evaluete script to functions

Implement evaluate

Add result folder to .gitignore

Rewrite write_config solution check and fix apply

solution.apply failed in case of last solution.

Fix error in utils script

Fix error in solution apply

Fix solution generation in case of gen_all_solution_oninit

Ezecute initialize parse_kconfig only in case of missing files

Add dot_config to gitignore

Fix booting process and test target

Test target wasn't working properly. Now it should work.

Clean makefile and remove dependency on buildroot initram

Removing dependency can lead to problems.
But if buildroot should not be forced for possible alternatives.

Fix problems with permute

Permute should now reading and loading configurations right.
In case of configuration change, forces save.

Fix problems with configurations genration

Add mpermute target for executing command permute

Add kernel_env setting

Swap some lines in conf.py

Fix conf.py

Fix ARCH env variable

Fix env

Add initialize messages and initialize sourcing from dot_config not from linux/.config

Add saving and loading of dot_config file in permute program

Fix buildroot Makefile dependency

permute fix makefile

Add permute to root Makefile

Rename setpermute to permute

Add initial implementation of setpermute

Add implementation of  hash indexing of configurations

Add gitignores

Rename build folder to jobfiles

Add generation of all solutions in initialization phase

Add possibility of calling pahe_set from outside of loop.py

Add Makefile initialize dependencies

Fix some comments and if in solution

These changes were forgotten after change from minisat to picosat

Add label for debugging configs

Add PHONY targets

Change message in generated nbscript

Move buildroot configs in conf.py

Separate initialisation

Initialisation now can be executed without loop it self.

Remove automatic initram build

Not initram must be set and created manually by user.

Move buildroot submodule

Replace minisat with picosat

Picosat is distributed with this project.

Add gitignore for picosat

Add picosat version 959

Add minisat config

parse_kconfig fix problems with choice configs

Choice configs has now own boolean expression.
Also fixing problem with i variable. That causes that for some variables no cfn equations were build.

Small change in parse_kconfig Makefile

Hide warnings. I am not going to solve them now.

Fix missing addition for commit 9a1f3ff8fbff9dd418242eefa7aa69dfd38609c5

parse_kconfig change module decode value

In case of default value are modules taken as yes in case of boolean.

Add some configuration options and clean write_conf

parse_kconfig fix problem with generated rules

Generated rules were unsatisfiable all the time.
Problem was default value of vis variable.

parse_kconfig adding proper visibility dependency

For unknown reasons, output rules with generated default solution are not satisfiable.

parse_kconfig fix problems with generated rules to be UNSAT

parse_kconfig add debug output of boolexpr

Fixes in scripts and add minisat_args

parse_kconfig add missing rule

parse_kconfig fix boolexpr_not

parse_kconfig move debug output before action

Fix Dprintf macro

Fix parse_kconfig symlist_el variables type

parse_kconfig add debug outputs

Add DEBUG and Wall to parse_kconfig

Fix parse_kconfig symbol_map ids

write_config update to parse_kconfig changes

Fix missing configuration

Fix missing definition

Fit solution.apply to new changes

parse_kconfig rewriten

parse_kconfig should now generate full dependency.
It is not transforming whole expression to CNF, but only pairs.

parse_kconfig changes before more changes come

This is commit that breaks parse_kconfig program...

Add prompt variable to parse_kconfig

Add possibility of running step-by-step

Include iteration and phase code to loop

Fix solution.apply error

Change config kernem_make_output

Fix run and initram dependency

Add boot phase

Remove spare line from scripts/conf.py

Fix wrong open mode of iteration file in boot