linux programming gnu informatics software opensource